cartesian closed造句
例句與造句
- His paper referenced in Cartesian closed category discusses some of this.
- The class of all things ( of a given Cartesian closed categories.
- CAML is more consciously modelled on Cartesian closed categories.
- It is useful that this category is, like the category of small categories, cartesian closed.
- By contrast, the category of simplicial sets had many convenient properties, including being cartesian closed.
- It's difficult to find cartesian closed in a sentence. 用cartesian closed造句挺難的
- A special case of this are the Cartesian closed categories, whose internal language is simply typed lambda calculus.
- Cartesian categories with a Hom functor that is an adjoint functor to the product are called Cartesian closed categories.
- Thus use of lambda here is not accidental; the internal language of Cartesian closed categories is simply-typed lambda calculus.
- The category "'Cat "'of all small categories with functors as morphisms is therefore a cartesian closed category.
- The articles on exponential object and Cartesian closed category provide a more precise discussion of the category-theoretic formulation of this idea.
- The Curry-Howard-Lambek correspondence provides a deep isomorphism between intuitionistic logic, simply-typed lambda calculus and Cartesian closed categories.
- The most general possible setting for " Apply " are the closed monoidal categories, of which the cartesian closed categories are an example.
- The setting of cartesian closed categories is sufficient for the discussion of classical logic; the more general setting of closed monoidal categories is suitable for quantum computation.
- Exponentiation is the right adjoint of the Cartesian product; thus any category with a Cartesian product ( and a final object ) is a Cartesian closed category.
- Such a class is a special case of the more general notion of elementary topos as a cartesian closed ) and has an object, called a subobject classifier.
更多例句: 下一頁